\section{A DSL for \emph{Security@Runtime}}
\label{sec:DSL}

This Section describes the \SAR metamodel and rationale, illustrating the core and difficult points with situations extracted from the motivating example.

\begin{figure}[t]
	\center
	\resizebox{\textwidth}{!}{\includegraphics{DSL.png}}	
	\caption{The \SAR Metamodel for specifying Security Policies}
	\label{fig:SpecificationLanguage}
\end{figure}


\input{StaticMapping}
\input{SecurityRules}
\input{ApplicationState}
\input{DynamicBinding}
\input{Translation}


